301. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده: Ada Software Tools Interfaces Workshop )3891: Bath, England(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
73
.
A35
.
A34
1983
302. Ada, a programmer's introduction
پدیدآورنده: Leguy, Bernard.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
A35
L43
1993
303. Ada: an introduction to program design and coding
پدیدآورنده: Amoroso, Serafino
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، ADA )Computer program language(,، Electronic digital computer-- Programming
رده :
QA
76
.
73
.
A35
.
A46
1985
304. Ada:an introduction to program design & coding
پدیدآورنده: AMOROSO,SERAFINO
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ADA )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
A35
A46
305. Ada:concurrent programming
پدیدآورنده: GEHANI,NARAIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ADA )COMPUTER PROGRAM LANGUAGE( , PARALLEL PROGRAMMING )COMPUTER SCIENCE(
رده :
QA
76
.
73
.
A35
G433
306. Ada plus data structures :
پدیدآورنده: Nell Dale, Susan C. Lilly, John McCormick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ada (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science)
رده :
QA76
.
73
.
A35
D35
1996
307. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
308. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
309. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
310. Adaptive differential evolutio
پدیدآورنده: / Jingqiao Zhang and Arthur C. Sanderson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Evolutionary computation.,Mathematical optimization.,Evolutionary programming (Computer science)
رده :
QA
,
76
.
618
,.
Z436
,
2009eb
311. Adaptive differential evolutio
پدیدآورنده: Jingqiao Zhang and Arthur C. Sanderson
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Evolutionary computation,Mathematical optimization,Evolutionary programming (Computer science),Electronic books., local
رده :
QA
،
76
.
618
،.
Z436
,
2009eb
312. Adaptive differential evolution
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Evolutionary computation. ; Evolutionary programming (Computer science) ; Mathematical optimization. ;
313. Adaptive dynamic programming for control
پدیدآورنده: / Huaguang Zhang ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Dynamic programming,Adaptive control systems,Computer algorithms,Nonlinear systems,Control theory
رده :
E-BOOK
314. Adaptive dynamic programming for control
پدیدآورنده: Huaguang Zhang ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Adaptive control systems,Computer algorithms,Dynamic programming
رده :
T57
.
83
.
A33
2013
315. Adaptive evolutionary information systems
پدیدآورنده: Patel, Nandish V.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Management information systems,، Evolutionary programming )Computer science(
رده :
HD
30
.
213
.
P38
2003
316. Adaptive object-oriented software :
پدیدآورنده: Karl J. Lieberherr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Adaptives Verfahren,Object-oriented programming (Computer science),Objektorientierte Programmierung,Programacao de computadores.,Programmation orientée objets (informatique)
رده :
QA76
.
64
.
L49
1996
317. Adaptive object-oriented software: the Demeter Method with propagation patterns
پدیدآورنده: Lieberherr, Karl J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Object-oriented programming )Computer science(
رده :
QA
76
.
64
.
L49
1996
318. Administrating Solr
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Database searching,Internet searching,Java (Computer program language),Search engines-- Programming,Web search engines
رده :
TK5105
.
884
.
M643
2013
319. Ado.NET programming in Visual Basic .NET
پدیدآورنده: / Steve Holzner, Bob Howell
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: ActiveX,Database design,Object-oriented programming (Computer science),Microsoft .NET
رده :
QA76
.
9
.
D26
,
H65
2003
320. Ado.net professional projects
پدیدآورنده: / Sanjeev Rohilla, Senthil Nathan, Surbhi Malhotra with NIIT
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: ActiveX,Database design,Object-oriented programming (Computer science),Microsoft .NET
رده :
QA76
.
9
.
D26
,
R67
2002
